Uniform Interpolation in General EL Terminologies Nadeschda Nikitina Karlsruhe Institute of Technology, Karlsruhe, Germany Abstract. Recently, different forgetting approaches for knowledge bases express

Source URL: ceur-ws.org

SSWSCumulusRDF: Linked Data Management on Nested Key-Value Stores G¨unter Ladwig and Andreas Harth Institute AIFB, Karlsruhe Institute of Technology

Source URL: iswc2011.semanticweb.org

Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

Source URL: formal.iti.kit.edu

Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

Source URL: i12www.iti.kit.edu

Software Verification Peter H. Schmitt Mattias Ulbrich Karlsruhe Institute of Technology (KIT)

Source URL: fm.csl.sri.com

Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

Source URL: i12www.iti.kit.edu

0 Visiting Student Handbook International Affairs International Students Office (IStO)

Source URL: www.ifr.kit.edu

• Academia
• Education
• States of Germany
• Karlsruhe Institute of Technology
• Karlsruhe
• Helmholtz Association of German Research Centres
• Hermann von Helmholtz
• Baden-Wrttemberg
• Academic term
• ETH Zurich

Please return to: Karlsruhe Institute of Technology (KIT) Fortbildungszentrum für Technik und Umwelt (FTU) Frau Eltje Witt Postfach 36 40

Source URL: www.fortbildung.kit.edu

• Education
• Distance education
• Educational psychology
• Educational technology
• Information technology

A Analyzing Runtime and Size Complexity of Integer Programs Marc Brockschmidt, Microsoft Research Fabian Emmes, RWTH Aachen University Stephan Falke, Karlsruhe Institute of Technology Carsten Fuhs, Birkbeck, University o

Source URL: www.dcs.bbk.ac.uk

• Nuclear magnetic resonance
• Relaxation

Microsoft Word - Herbelldocx

Source URL: www.iket.kit.edu

• Nuclear technology
• Nuclear power by country
• Nuclear energy in the United States
• AP1000
• Nuclear energy in Bulgaria
• Nuclear energy in China
• Nuclear energy in the United Kingdom
• Karlsruhe Institute of Technology
• Westinghouse
• Helmholtz Association of German Research Centres
• EPR